$\forall$$A$:Type, $I$:MaInterface($A$). ma{-}interface{-}locs($I$) $\in$ (Id List)